# Stephen Wolfram - Huh, interesting that I don't have more here already. - Listened to first podcast with [[Lex Fridman]]: https://www.youtube.com/watch?v=ez773teNFYA - Last half an hour in particular: - Might be interested in some facet of the [[Agora]]? - Might like [[Diaspora]] by [[Greg Egan]]? - [[2020-11-21]] been listening to the second podcast episode with [[Lex Fridman]]. Four hours and a half long, but really good stuff. You can really feel Lex being enthusiastic about Wolfram's research. - [[go]] https://www.youtube.com/watch?v=-t1_ffaFXao - Physics might indeed be different to different intelligences in the universe because their context (and scale) might be different enough so that the set of physics that is *relevant* to their being varies. - The speed of light could very well have been infinite. We only notice it is finite because of ping on the internet; that's the full extent that fact seems to affect our daily life. - https://twitter.com/flancian/status/1329862640877907982 - 3h33m in, a great recap of [[mathematics is a graph]]. - "There are five platonic solids" is the hardest proof in [[Euclid]]: 33 steps through axioms. - The graph's geometry is that of the relations between all mathematical facts. The graph's geography is the space that mathematicians happened to be able to explore. - The geometry explains why math is hard: many paths are not computable in finite time. [[Gödel]]. - The geography explains why it's possible: we are exposed to sections which happened to be reachable by people (processes) operating in math space with computable functions.